Równoważność I Implikacja, Logika Krz